- - - - an Application - Oriented Approach to Distributed Error - Detecting Branch & Bound †
نویسندگان
چکیده
An important aspect which is often overlooked in software design of distributed environments is that of fault tolerance. Many methodologies in the past have attempted to provide fault tolerance efficiently, but have never been successful at eliminating explicit time and space redundancy. One approach is the Application-Oriented Fault Tolerance Paradigm, which provides fault tolerance by examining the behavior and properties of the application and deriving executable assertions for the detection of faults. Previous work has demonstrated the feasibility of the application-oriented fault tolerance paradigm for various applications. However, the executable assertions were guided by the natural constraints of the problem. This work uses Changeling to apply concurrent programming axiomatic proof systems to formally generate executable assertions in a distributed environment, by showing a transformation of the assertions derived from the verification proof of a program into executable assertions. These executable assertions are then embedded into the program to create a fault-tolerant program. The model used to demonstrate this approach is the class of Branch and Bound problems. The resulting error-detecting algorithm is implemented in parallel on a distributed memory machine. Experimental performance results and analytical bounds on the fault tolerance are reported for the Traveling Salesman application.
منابع مشابه
Paradigm-Oriented Distributed Computing using Mobile Agents
We describe the implementation underlying an environment for distributed computing that uses the concept of well-known paradigms. The main advantage of paradigmoriented distributed computing is that the user only needs to specify application-specific sequential code, while the underlying infrastructure takes care of the parallelization and distribution. The main features of the proposed approac...
متن کاملA Customer Oriented Approach for Distribution System Reliability Improvement using Optimal Distributed Generation and Switch Placement
The reliability of distribution networks is inherently low due to their radial nature, consequently distribution companies (DisCos) usually seek to improve the system reliability indices with the minimum possible investment cost. This can be known as system-oriented reliability planning (SORP). However, there can exist some customers that are not satisfied by their reliability determined by ado...
متن کاملEmbedding a Bundle Method in a Branch and Bound Framework: an Application-Oriented Development
متن کامل
Iranian Tourism Demand for Malaysia: A Bound Test Approach
This paper investigate Iranian tourism demand to Malaysia using the recently developed autoregressive distributed lag (ARDL) ‘Bound test’ approach to cointegration for 2000:Q1 to 2013:Q4. The demand for tourism has been explained by macroeconomic variables, including income in Iran, tourism prices in Malaysia, tourism price substitute, travel cost and trade value between Iran and Malaysia. In a...
متن کاملOutlier Detection in Wireless Sensor Networks Using Distributed Principal Component Analysis
Detecting anomalies is an important challenge for intrusion detection and fault diagnosis in wireless sensor networks (WSNs). To address the problem of outlier detection in wireless sensor networks, in this paper we present a PCA-based centralized approach and a DPCA-based distributed energy-efficient approach for detecting outliers in sensed data in a WSN. The outliers in sensed data can be ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001